- недоказуемое высказывание
- unprovable statement мат.
Русско-английский научно-технический словарь Масловского. 2015.
недоказуемое высказывание
Look at other dictionaries:
непротиворечивость — свойство предложений некоторой теории (в случае аксиоматической теории системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отрицание какого то предложения может быть доказано в теории, то о самом предложении говорится, что … Словарь терминов логики
